number of elements in external direct product